一阶谓词逻辑表示的优点是（）A:自然性 B:精确性 C:严密性 D:易实现答案: 自然性; 精确性; 严密性; 易实现